This is TeX, WAITS Version 2.999 (preloaded format=plain 89.6.21)  31 OCT 1989 15:58
**ALGOL.SLI[F89,JMC]
(ALGOL.SLI[F89,JMC] (SLIDE2.TEX[1,JMC]) [1]
Overfull \hbox (37.17238pt too wide) detected at line 20, p.3
\tensy 8\tenit n\tenrm (\tenit n \tensy ∃ \tenit 0 [] \tensy ↑↑[ [] 8\tenit t\te
nrm (\tenit pc\tenrm (\tenit t\tenrm ) [] = [] \tenit 0 [] \tensy ↑↑[ [] 9\tenit
 t[]\tenrm (\tenit t[] [] \teni > [] \tenit 0 [] \tensy ↑ [] \tenit pc\tenrm (\t
enit t[]\tenrm ) [] = [] \tenit 6 [] \tensy ↑ [] \tenit p\tenrm (\tenit t[]\tenr
m ) [] = [] \tenit mn\tenrm )))\teni :|

\hbox(8.01782+2.5)x250.93687, glue set - 1.0
.\tensy 8
.\tenit n
.\kern0.76714
.\tenrm (
.\tenit n
.etc.

[2]
Overfull \hbox (88.98895pt too wide) detected at line 12, p.4
\tenit var1 [] \tensy 6\tenrm = [] \tenit var2 [] \tensy ↑↑[ [] \tenit a\tenrm (
\tenit var2\teni ; \tenit val2\teni ; \tenit a\tenrm (\tenit var1\teni ; \tenit 
val1\teni ; ←\tenrm )) [] = [] \tenit a\tenrm (\tenit var1\teni ; \tenit val1\te
ni ; \tenit a\tenrm (\tenit var2\teni ; \tenit val2\teni ; ←\tenrm ))\teni :|

\hbox(7.5+2.5)x250.93687
.\tenit v
.\tenit a
.\tenit r
.\tenit 1
.\kern1.35556
.etc.


Overfull \hbox (14.20203pt too wide) detected at line 36, p.4
[] [] |

\hbox(125.5+120.5)x250.93687
.\hbox(0.0+0.0)x0.0
.\glue 1.66663
.\vbox(125.5+120.5)x261.80565
..\hbox(8.5+3.5)x261.80565
...\glue(\tabskip) 0.0
...\hbox(8.5+3.5)x60.95433 []
...\glue(\tabskip) 0.0
...\hbox(8.5+3.5)x200.85132, glue set 113.00702fil []
...\glue(\tabskip) 0.0
..\glue(\baselineskip) 6.0
..\hbox(8.5+3.5)x261.80565
...\glue(\tabskip) 0.0
...\hbox(8.5+3.5)x60.95433, glue set 60.95433fil []
...\glue(\tabskip) 0.0
...\hbox(8.5+3.5)x200.85132, glue set 95.38437fil []
...\glue(\tabskip) 0.0
..\glue(\baselineskip) 6.0
..\hbox(8.5+3.5)x261.80565
...\glue(\tabskip) 0.0
...\hbox(8.5+3.5)x60.95433, glue set 60.95433fil []
...\glue(\tabskip) 0.0
...\hbox(8.5+3.5)x200.85132, glue set 74.37949fil []
...\glue(\tabskip) 0.0
..etc.
.\glue 1.66663
.\rule(*+*)x5.0

[3] [4]
Output written on ALGOL.DVI[1,JMC] (4 pages, 5412 bytes).